Deadlock Freedom for Asynchronous and Cyclic Process Networks

This paper considers the challenging problem of establishing deadlock freedom for message-passing processes using behavioral type systems. In particular, we consider case that implement session types by communicating asynchronously in cyclic process networks. We present APCP, a typed framework which supports asynchronous communication, delegation, recursion, and general form composition enables specifying discuss main decisions involved design APCP illustrate its expressiveness flexibility several examples.